| extension | φ:Q→Out N | d | ρ | Label | ID |
|---|
| Dic7.1(C22:C4) = (C2xC28):Q8 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 448 | | Dic7.1(C2^2:C4) | 448,180 |
| Dic7.2(C22:C4) = D14:C8:C2 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.2(C2^2:C4) | 448,261 |
| Dic7.3(C22:C4) = C23:C4:5D7 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 112 | 8- | Dic7.3(C2^2:C4) | 448,274 |
| Dic7.4(C22:C4) = D7xC4.D4 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 56 | 8+ | Dic7.4(C2^2:C4) | 448,278 |
| Dic7.5(C22:C4) = D7xC4.10D4 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 112 | 8- | Dic7.5(C2^2:C4) | 448,284 |
| Dic7.6(C22:C4) = D7xD4:C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 112 | | Dic7.6(C2^2:C4) | 448,303 |
| Dic7.7(C22:C4) = (D4xD7):C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 112 | | Dic7.7(C2^2:C4) | 448,304 |
| Dic7.8(C22:C4) = D7xQ8:C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.8(C2^2:C4) | 448,335 |
| Dic7.9(C22:C4) = (Q8xD7):C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 224 | | Dic7.9(C2^2:C4) | 448,336 |
| Dic7.10(C22:C4) = D7xC4wrC2 | φ: C22:C4/C2xC4 → C2 ⊆ Out Dic7 | 56 | 4 | Dic7.10(C2^2:C4) | 448,354 |
| Dic7.11(C22:C4) = D14:M4(2) | φ: C22:C4/C23 → C2 ⊆ Out Dic7 | 112 | | Dic7.11(C2^2:C4) | 448,260 |
| Dic7.12(C22:C4) = D4:(C4xD7) | φ: C22:C4/C23 → C2 ⊆ Out Dic7 | 224 | | Dic7.12(C2^2:C4) | 448,305 |
| Dic7.13(C22:C4) = Q8:(C4xD7) | φ: C22:C4/C23 → C2 ⊆ Out Dic7 | 224 | | Dic7.13(C2^2:C4) | 448,337 |
| Dic7.14(C22:C4) = C42:D14 | φ: C22:C4/C23 → C2 ⊆ Out Dic7 | 112 | 4 | Dic7.14(C2^2:C4) | 448,355 |
| Dic7.15(C22:C4) = D7xC22:C8 | φ: trivial image | 112 | | Dic7.15(C2^2:C4) | 448,258 |
| Dic7.16(C22:C4) = M4(2).19D14 | φ: trivial image | 112 | 8- | Dic7.16(C2^2:C4) | 448,279 |
| Dic7.17(C22:C4) = M4(2).21D14 | φ: trivial image | 112 | 8+ | Dic7.17(C2^2:C4) | 448,285 |
| Dic7.18(C22:C4) = D4:2D7:C4 | φ: trivial image | 224 | | Dic7.18(C2^2:C4) | 448,306 |
| Dic7.19(C22:C4) = Q8:2D7:C4 | φ: trivial image | 224 | | Dic7.19(C2^2:C4) | 448,338 |